second-order logic
英 [ˈsekənd ˈɔːdə(r) ˈlɒdʒɪk]
美 [ˈsekənd ˈɔːrdər ˈlɑːdʒɪk]
网络 二阶逻辑
双语例句
- F. P. Ramsey discovered that when second-order logic is applied to a scien-tific theory ( T) which contains a finite number of axioms, the theoretical terms in T can be removed.
F·P·Ramsey（拉姆西）发现，应用二阶逻辑对一个有有限数目公理的科学理论T而言，T中的理论性词项可以被消除。 - Based on it, the tabular methods calculating the first-order and second-order Boolean partial derivative of the OC type logic function were proposed.
在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法。 - According to the definition of the second-order difference and the relation between it and Boolean partial derivative, two tabular methods calculating the second-order Boolean difference of the OC type logic function were presented and compared.
根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法，并作了比较。